161. An introduction to programming with specifications : a mathematical approach
پدیدآورنده : Kubiak, Ryszard
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic digital computers-- Programming,، Programming )Mathematics(
رده :
QA
76
.
6
.
K82
1991
162. An introduction to software physics:the meaning of computer
پدیدآورنده : KOLENCE,KENNETH W
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING , COMPUTER SOFTWARE
رده :
QA
76
.
6
.
K645
1985
163. Annual Review in authomatic programming , V.1-
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Al-Zahra University (Tehran)
موضوع : ، Programming )Electronic Computers( - Yearbooks
رده :
QA
76
.
A63
164. Annual review in authomatic programming v.1-1960
پدیدآورنده :
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : Programming (Electronic computers) - Yearbooks
رده :
510
.
78
An
165. Application development tools
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic data processing-- Addresses, essays, lectures,، System design-- Addresses, essays, lectures,، Electronic digital computers-- Programming-- Addresses, essays, lectures
رده :
QA
76
.
24
.
A66
1984
166. Application development without programmers
پدیدآورنده : James Martin
موضوع : Electronic digital computers programming,Electronic data processing
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
167. Application development without programmers
پدیدآورنده : Martin, James
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Electronic digital computers - Programming,، Electronic data processing
رده :
QA
76
.
6
.
M3613
168. Applications of generalized nets
پدیدآورنده : editor, Krassimir T. Atanassov
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Electronic digital computers - Programming , Nets )Mathematics(
رده :
QA
76
.
6
.
A655
1993
169. Applications software programming with fourth- generation languages
پدیدآورنده : W. Gregory Wojtkowski, Wita Wojtkowski
موضوع : Programming languages (Electronic computers),Electronic digital computers- Programming
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
170. Applied computation theory
پدیدآورنده : / Raymond T. Yeh
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : Dequential machine theory,Electronic digital computers - Programming,Electronic digital computers - Design and construction
رده :
629
.
891
Ye-A
171. Applied computation theory:analysis,design,modeling
پدیدآورنده : YEH,RAYMOND TZUU-YAU
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : SEQUENTIAL MACHINE THEORY , ELECTRONIC DIGITAL COMPUTERS PROGRAMMING , ELECTRONIC DIGITAL COMPUTERS-
رده :
QA
267
.
5
.
S4
Y43
172. Applied computation theory : analysis, design, modeling
پدیدآورنده : Yeh, Raymond Tzuu-Yau
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Sequential machine theory,، Electronic digital computers -- Programming,، Electronic digital computers -- Design and construction
رده :
QA
267
.
5
.
S4
Y43
173. Applied computation theory : analysis, design, modeling
پدیدآورنده : Raymond T. Yeh, editor
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Sequential machine theory,، Electronic digital computers - Programming,، Electronic digital computers - Design and construction
رده :
QA
267
.
5
.
S4
A66
1976
174. Artificial intelligence and heuristic programming
پدیدآورنده : editors: N. V. Findler [and] Bernard Meltzer
موضوع : Artificial intelligence,Electronic digital computers - Programming,Heuristic programming
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
175. Assemblers and BAL
پدیدآورنده : Flores, Ivan.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Assembler language )Computer program language(,، Electronic digital computers -- Programming
رده :
QA
76
.
5
.
F448
176. Assemblers and BAL
پدیدآورنده : Flores, Ivan
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Assembler language )Computer program language(,Programming ، Electronic digital computers
رده :
QA
76
.
5
.
F448
177. Automated reasoning: 33 Base research problems
پدیدآورنده : Larry Wos
کتابخانه: Central Library and Information Center of Shahed University (Tehran)
موضوع : Automatic theorem proving,Artificial intelligence,Electronic digital computers- Programming
رده :
QA
،
76
.
9
،.
A96
,
W67
،
1988
178. Automated reasoning: introduction and applications
پدیدآورنده : )by( Larry Wos )et al.(
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Automatic theorem proving,، Artificial intelligence,Programming ، Electronic digital computers
رده :
QA
76
.
9
.
A96
A93
1984
179. BASIC computer programming
پدیدآورنده : Bartee, Thomas C.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، BASIC )Computer program language(,، Electronic digital computers-- Programming
رده :
QA
76
.
73
.
B3
.
B37
1985
180. Basic BASIC programming ; self instrucctional manual and text
پدیدآورنده : Peluso, Anthony P
کتابخانه: Central Library and Documents Center of Al-Zahra University (Tehran)
موضوع : ، BASIC )Computer program language(,، Electronic digital Computers- Programming
رده :
QA
76
.
5
.
P4
